Detectability of Timed Discrete Event Systems

This paper introduces T-detectability, which extends detectability to timed discrete event systems within the context of communication networks. We propose network T-detectability address challenges posed by observation delays and losses in environments. Our approach involves construction an augmented automaton model extended calculate state estimates. present a method for checking T-detectability. These findings contribute better understanding system behavior complex scenarios provide analytical techniques assessing detection properties operating